|
|
Combinatorial Algorithms
by Lecroq, Thierry.
Publication:
. XXII, 474 p. 135 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods and Software Engineering
by Groves, Lindsay.
Publication:
. XVIII, 466 p. 136 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reachability Problems
by Abdulla, Parosh Aziz.
Publication:
. XII, 223 p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Learning Theory
by Jain, Sanjay.
Publication:
. XVIII, 397 p. 30 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Frontiers of Combining Systems
by Fontaine, Pascal.
Publication:
. XII, 359 p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Runtime Verification
by Legay, Axel.
Publication:
. XVII, 426 p. 113 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles and Practice of Constraint Programming
by Schulte, Christian.
Publication:
. XVIII, 898 p. 226 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorics on Words
by Karhumäki, Juhani.
Publication:
. X, 263 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical Foundations of Computer Science 2013
by Chatterjee, Krishnendu.
Publication:
. XVI, 854 p. 92 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Interactive Theorem Proving
by Blazy, Sandrine.
Publication:
. XII, 498 p. 73 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial General Intelligence
by Kühnberger, Kai-Uwe.
Publication:
. XII, 207 p. 39 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Descriptional Complexity of Formal Systems
by Jurgensen, Helmut.
Publication:
. X, 289 p. 56 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Automata
by Konstantinidis, Stavros.
Publication:
. XIV, 358 p. 78 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unconventional Computation and Natural Computation
by Mauri, Giancarlo.
Publication:
. XVI, 262 p. 68 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Satisfiability Testing – SAT 2013
by Järvisalo, Matti.
Publication:
. XVI, 437 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Developments in Language Theory
by Béal, Marie-Pierre.
Publication:
. XIV, 460 p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction – CADE-24
by Bonacina, Maria Paola.
Publication:
. XVI, 466 p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Science – Theory and Applications
by Bulatov, Andrei A.
Publication:
. XII, 445 p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Models of Computation
by Chan, T-H. Hubert.
Publication:
. XV, 356 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
by Coecke, Bob.
Publication:
. XX, 363 p. 26 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|